Valtype(${\it da}$;$k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$${\it da}$($k$)?Top